$\forall$$M$:MsgA. $M$.(timed)state $\in$ Type